Just go over with a dry mop, or like soeone else said, leave a few small jobs to complete after mopping. Ideally, do both.