A formal system is expressively complete if and only if it is capable of expressing, as a formula, everything that is the subject of that formal system.
A deductive system is semantically complete if and only if every sentence that is truth-functionally entailed by a set of sentences can be derived from that set.
Is there a relation between these two types of completeness? If the two are related, what type of relation is this?