Hi,
Thank you so much for your interest in our products and for using our community.
Indeed, in the documentation there is no mention of the default state of an output GPIO port, however, the state of a port's output bits can be read from its SET register. Please refer to the 12.6.1 Reading pin state section of the user manual for more detail.
Hope it helps you.
Have a nice day!