Not usually, should be ready to go. In any case it won't do any harm if you want to restore it to device defaults. An 8 gb will take a long time to fully format unlike doing a quick format.
If you feel happier format it :)
Xiaomi Mi Mix 2 review
What went wrong at the Designs of the Year 2017
iPhone X news: Release date, price, new features & specs
Comment regarder des séries et talk-shows américains en France ?