Recently, a new category of domains used for the mathematical foundations of denotational semantics, that of L-domains, has been under study. In this paper we consider a related category of posets, that of local lattices. First, a completion operator taking posets to local lattices is developed, and then this operator is extended to a functor from posets with embedding-projection pairs to local...