Algebraic totality, towards completeness