  We show that any surface of infinite type admits an ideal triangulation.
Furthermore, we show that a set of disjoint arcs can be completed into a
triangulation if and only if, as a set, they intersect every simple closed
curve a finite number of times.
