There are of course a bajillion ways to do this. If you happen to have WP-CLI you can do it on the command line: http://wp-cli.org/commands/db/repair/

It's not super user friendly, but it's nicer than loading up another screen :)