Vaught’s test

Let $L$ be a first order language, and let $S$ be a set of $L$-sentences with no finite models which is $\kappa$-categorical for some $\kappa \ge |L|$. Then $S$ is complete (http://planetmath.org/FirstOrderTheories).