A leaf of a Lagrangian foliation is an immersed Lagrangian submanifold tangent to its integrable distribution. A prequantum line bundle restricts to a flat connection along such a leaf, because its curvature is proportional to the symplectic form. Nonzero global parallel sections require trivial holonomy along every leaf loop.
New to topics? Read the docs here!