Positive Definiteness Criterion for Finite Type Generalized Cartan Matrices