Text this: Completeness Theory for Propositional Logics