Describir: Condiciones de completez para retículos de estados coherentes