A proof system is complete if and only if every conclusion that is logically entailed by a set of premises is provable. In other words, if Δ ⊨ φ, then Δ ⊦ φ.