left $K$-completeness