SMS dit: Completitud en el segundo nivel de la jerarquía polinomial a través de propiedades sintácticas