Martin's axiom and completeness