Mathematical logic and foundations

Which statement expresses that a sentence φ is a semantic consequence of a theory T?