Mathematical logic and foundations

A set T of first-order sentences has the property that every finite subset of T has a model. What does the compactness theorem guarantee?