Some of the work LaBerge did in his labs were to have people move their eyes in patterns while lucid dreaming. These were recorded IN REAL TIME while they were in REM sleep.

Seems pretty conclusive to me.