 Maximum consistent propositional theory gives a model

Consistency is preserved under unions of chains because proofs use finitely many assumptions. A maximal consistent extension then gives a valuation through its truth lemma, proving propositional completeness.