A criterion of fullness of many-valued systems of propositional logic