Completeness of infinite-dimensional Lie groups in their left uniformity
  We prove completeness for the main examples of infinite-dimensional Lie groups and some related topological groups. 
Helge Glockner
math.FA