In Linux Mint 16 and 17, there is a small bug in gnome-do. Well, techincally it is in a file called gnome-terminal.desktop
Searching for terminal in gnome-do in Cinnamon environment gives no results for gnome-terminal. The first entry is usually Printers. This is caused because of an omission in the gnome-terminal.desktop file.
Open terminal by searching through start menu:
You will usually find it at: /usr/share/applications/gnome-terminal.desktop
sudo nano /usr/share/applications/gnome-terminal.desktop
Find the line that says:
To that list add X-Cinnamon so it will read.
Save the file and log out. Once you login again, terminal should appear on top of Gnome-do search as soon as you type t.