Is ghusl obligatory for someone who saw a naked girl in a dream and felt lust and the emission of semen, knowing that he found no trace of semen after waking up?

One who experiences a wet dream in their sleep but does not see semen upon waking is not required to perform ghusl (ritual bath), due to the lack of certainty regarding the emission of semen, which necessitates ghusl.