A formal system is complete if we can prove all things right. This is in contrast with soundness, which is the property that you can prove all things wrong.
More formally, a proof system is complete if and only if every logical conclusion is provable. In other words, if