Completeness for Identity-Free Kleene Lattices