Mathematical logic and foundations

A theory is satisfiable because every finite subset is satisfiable. Which claim is not guaranteed by compactness alone?