It would be very beneficial if the search box supported autocomplete for tags just like the text editor does. As shown in the following screenshot, in the text editor typing “#te” brings up autocomplete of tags starting with “te”, but that doesn’t not happen in the search box.
I have tried both “#te” and “tag:#te”. I don’t think “tag:” should be required though since “#” should generally be enough to indicate the user is searching for a tag.