Text this: Completeness theory for propositional logics