A Theory of Strict P-completeness