Mathematical logic and foundations

A theory T semantically entails a sentence φ. What does the entailment form of compactness imply?