Cartan's criterion provides a necessary and sufficient condition for a Lie algebra to be semisimple, based on the properties of its Killing form. Specifically, it states that a Lie algebra is semisimple if and only if its Killing form is non-degenerate.